针对加权迁移系统，提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统，提出了加权线性时间属性概念，并根据权重函数确定加权线性时间属性的上确界、下确界和闭包; 接着给出了几种常见的加权线性时间属性并且讨论了它们的关系; 然后重点研究了加权安全性，通过加权自动机和闭包给出了加权正则安全性; 最后基于加权有穷自动机，建立了加权正则安全性的检测方法。检测过程结合半环和形式幂级数，构造了加权迁移系统和加权有穷自动机的乘积系统，将加权安全性检测问题转化为验证乘积系统的不变性，给出了加权正则安全性检测的算法和复杂度。实例结果表明，所提的方法能够对加权迁移系统的安全性进行检测。
